Throughout the biological and biomedical sciences there is a growing need for, prescriptive ‘minimum information’ (MI) checklists specifying the key information to include when reporting experimental results are beginning to find favor with experimentalists, analysts, publishers and funders alike. Such checklists aim to ensure that methods, data, analyses and results are described to a level sufficient to support the unambiguous interpretation, sophisticated search, reanalysis and experimental corroboration and reuse of data sets, facilitating the extraction of maximum value from data sets (...) them. However, such ‘minimum information’ MI checklists are usually developed independently by groups working within representatives of particular biologically- or technologically-delineated domains. Consequently, an overview of the full range of checklists can be difficult to establish without intensive searching, and even tracking thetheir individual evolution of single checklists may be a non-trivial exercise. Checklists are also inevitably partially redundant when measured one against another, and where they overlap is far from straightforward. Furthermore, conflicts in scope and arbitrary decisions on wording and sub-structuring make integration difficult. This presents inhibit their use in combination. Overall, these issues present significant difficulties for the users of checklists, especially those in areas such as systems biology, who routinely combine information from multiple biological domains and technology platforms. To address all of the above, we present MIBBI (Minimum Information for Biological and Biomedical Investigations); a web-based communal resource for such checklists, designed to act as a ‘one-stop shop’ for those exploring the range of extant checklist projects, and to foster collaborative, integrative development and ultimately promote gradual integration of checklists. (shrink)

The writings of Joseph Henry Woodger (1894–1981) are often taken to exemplify everything that was wrongheaded, misguided, and just plain wrong with early twentieth-century philosophy of biology. Over the years, commentators have said of Woodger: (a) that he was a fervent logical empiricist who tried to impose the explanatory gold standards of physics onto biology, (b) that his philosophical work was completely disconnected from biological science, (c) that he possessed no scientific or philosophical credentials, and (d) that his work (...) was disparaged – if not altogether ignored – by the biologists and philosophers of his era. In this paper, we provide the first systematic examination of Woodger’s oeuvre, and use it to demonstrate that the four preceding claims are false. We argue that Woodger’s ideas have exerted an important influence on biology and philosophy, and submit that the current consensus on his legacy stems from a highly selective reading of his works. By rehabilitating Woodger, we hope to show that there is no good reason to continue to disregard the numerous contributions to the philosophy of biology produced in the decades prior to the professionalization of the discipline. (shrink)

While historians of pragmatism often present William James as the founder of the “subjectivist” wing of pragmatism that came back into prominence with the writings of Richard Rorty, Hilary Putnam has argued that James’s views are actually much closer to Peirce’s (and Putnam’s own). Putnam does so by noting that James distinguishes two sorts of truth: “temporary truth,” which is closer to a subjective notion of warranted assertibility, and “absolute truth,” which is closer to Peirce’s own comparatively objective notion (...) of truth as what would be believed at some idealized end of inquiry. Putnam then argues that the temptation to read James as a precursor to Rorty requires privileging his talk of temporary truth, when, in fact, it was always absolute truth that was the primary sense of the term for James. This paper will argue that James’s views on truth are, in fact, much less tied to the absolute notion than Putnam suggests, and, indeed, that James’s account of the relations between our concepts and reality leave open the possibility that no claim of ours could ever be “absolutely” true, and thus that “temporary” truth would be all we could ever expect to have. (shrink)

Contributors in the order of contributions: David Ebrey, Richard Kraut, T. H. Irwin, Leonard Brandwood, Eric Brown, Agnes Callard, Gail Fine, Suzanne Obdrzalek, Gábor Betegh, Elizabeth Asmis, Henry Mendell, Constance C. Meinwald, Michael Frede, Emily Fletcher, Verity Harte, Rachana Kamtekar, and Rachel Singpurwalla. -/- The first edition of the Cambridge Companion to Plato (1992), edited by Richard Kraut, shaped scholarly research and guided new students for thirty years. This new edition introduces students to fresh approaches to Platonic (...) dialogues while advancing the next generation of research. Of its seventeen chapters, nine are entirely new, written by a new generation of scholars. Six others have been thoroughly revised and updated by their original authors. The volume covers the full range of Plato's interests, including ethics, political philosophy, epistemology, metaphysics, aesthetics, religion, mathematics, and psychology. Plato's dialogues are approached as unified works and considered within their intellectual context, and the revised introduction suggests a way of reading the dialogues that attends to the differences between them while also tracing their interrelations. The result is a rich and wide-ranging volume which will be valuable for all students and scholars of Plato. (shrink)

Bu kitap, Carl Schmitt'in demokrasi ve diktatörlük üzerine düşüncelerini politik felsefenin sorgu sahasında ele almayı amaçlayarak Schmitt'i kendi döneminin polemikleri arasında konumlandırmaktadır. Bu amaçla Weimar dönemi hukukçuları üzerinde önemli etkisi olan Carl Friedrich Wilhelm von Gerber ve Paul Laband'ın anayasa düşünceleri ekseninde Alman İmparatorluğu'nun hukuk mirası incelenmiştir. Weimar Cumhuriyeti'nin krizlerle şekillenen politik atmosferi, politik felsefe açısından verimli tartışmaların ortaya çıkmasını sağlamıştır. Bu tartışmaların izi; dönemin hukukçularından Gerhard Anschütz, Richard Thoma, Georg Jellinek, Hans Kelsen ve Hermann Heller'ın demokrasi (...) ve diktatörlük tartışmasına kaynaklık eden düşünceleri üzerinden sürülmüştür. Schmitt, çoğunluğu 1920'li yıllara denk gelen anayasa hukuku çalışmaları ile Weimar dönemi hukuk tartışmaları arasında belirleyici bir yerde durmaktadır. Schmitt ile anayasanın koruyuculuğu ve parlamentarizm hakkında polemiğe giren düşünürler, kitabın ayrı bir bölümünün konusunu oluşturmaktadır. Politik felsefenin güncel bir uğrağı olmayı sürdüren Schmitt'in demokrasi ve diktatörlük üzerine düşünceleri, çağdaş dünyanın karşı karşıya kaldığı demokrasi sorunlarının derinleştirilmesinde verimli bir kaynaktır. Bu kitabın amaçları arasında, kendi tarihsel bağlamı içerisinde Schmitt'in devlet düşüncesinin spesifik bir incelemesini yapmanın yanında, kendisini diktatörlüğün karşısında konumlandıran liberal demokrasi anlayışını tartışmaya açmak da bulunmaktadır. (shrink)

Richard Baxter, one of the most famous Puritans of the seventeenth century, is generally known as a writer of practical and devotional literature. But he also excelled in knowledge of medieval and early modern scholastic theology, and was conversant with a wide variety of seventeenth-century philosophies. Baxter was among the early English polemicists to write against the mechanical philosophy of René Descartes and Pierre Gassendi in the years immediately following the establishment of the Royal Society. At the same time, (...) he was friends with Robert Boyle and Matthew Hale, corresponded with Joseph Glanvill, and engaged in philosophical controversy with Henry More. In this book, David Sytsma presents a chronological and thematic account of Baxter's relation to the people and concepts involved in the rise of mechanical philosophy in late-seventeenth-century England. -/- Drawing on largely unexamined works, including Baxter's Methodus Theologiae Christianae (1681) and manuscript treatises and correspondence, Sytsma discusses Baxter's response to mechanical philosophers on the nature of substance, laws of motion, the soul, and ethics. Analysis of these topics is framed by a consideration of the growth of Christian Epicureanism in England, Baxter's overall approach to reason and philosophy, and his attempt to understand creation as an analogical reflection of God's power, wisdom, and goodness, understood as vestigia Trinitatis. Baxter's views on reason, analogical knowledge of God, and vestigia Trinitatis draw on medieval precedents and directly inform a largely hostile, though partially accommodating, response to mechanical philosophy. (shrink)

Why do we so often care about the outcomes of games when nothing is at stake? There is a paradox here, much like the paradox of fiction, which concerns why we care about the fates and threats of merely fictional beings. I argue that the paradox threatens to overturn a great deal of what philosophers have thought about caring, severing its connection to value and undermining its moral weight. I defend a solution to the paradox that draws on Kendall Walton's (...) solution to the paradox of fiction, developing his idea that it be extended to games. The solution takes games to involve make‐believe: in particular, players and spectators make‐believe that the outcome of the game matters. I also explore how the phenomenon extends beyond games. And I explore some moral implications: in particular, my view preserves the idea that we have reason not to impede others in their pursuit of what they care about. (shrink)

VAN PRAAG (Paul), Introduction : le Père Henri Bosmans, histo­rien des mathématiques (pp. 7-16). SAUVAGE (Pierre), Notice biographique du Père Henri Bosmans (pp. 17-25). HERMANS (Michel), Henri Bosmans : sa formation et ses réseaux de rela­tions (pp. 27-72). DELANGHE (Richard), Quelques aspects de la vie et de l’œuvre de Paul Mansion (1844-1919) (pp. 73-82). BRIGAGLIA (Aldo), Saccheri vu par Corrado Segre en Italie et par Mansion et Bosmans en Belgique / traduit de l’italien par Bruna GAINO et Patricia RADELET-DE (...) GRAVE (pp. 83-104). MAWHIN (Jean), La tentative belge d’édition des œuvres complètes d’Euler vue par Henri Bos­mans (pp. 105-133). GOLVERS (Noël), Henri Bosmans, s.j., et la mission jésuite en Chine / traduit du néerlandais par Anne-Sophie MEURICE (pp. 135-152). ROMANO (Antonella), Henri Bosmans, jésuite et historien des mathéma­tiques dans la Belgique du premier XXe siècle (pp. 153-168). SAUVAGE (Pierre), Le Père Henri Bosmans et l’historiographie au tournant du XXe siècle (pp. 169-187). RADELET-DE GRAVE (Patricia), Le fonds Henri Bos­mans / avec un ajout de Michel HERMANS (pp. 189-215). MANSION (Paul), Correspondance de Paul Mansion adres­sée à Henri Bosmans / introduction, trans­cription et annotation par Michel HERMANS (pp. 217-251). HEEFFER (Albrecht) – HERMANS (Michel) – STOFFEL (Jean-François), Bibliographie d’Henri Bosmans (pp. 253-298). (shrink)

On peut inscrire les travaux de Engel dans le sillage rationaliste des Pères de la philosophie analytique, mais après le tournant naturaliste opéré par Quine. Ce sont les diverses bonnes raisons, exposées de manière non systématique par Engel, d’associer naturalisme et rationalisme que je souhaite présenter tout en cherchant à identifier la difficulté constitutive de ce programme qui ne reçoit pas de solution complète: la normativité épistémique ne semble ni éliminable, ni correctement intégrée à ce programme.

Depuis plus d’une dizaine d’années, Albert Piette travaille à renouveler les méthodes et les concepts de l’anthropologie. Cette refondation s’appuie sur ses propres travaux empiriques, notamment sur le religieux, sur l’usage de méthodes plus pointillistes comme la photographie ou la description des détails, ainsi que sur des hypothèses relatives à la différence entre Sapiens et Néandertal. Les nouvelles propositions de travail qu’il avance empruntent souvent à la philosophie comme moyen d’une réflexion épistémologique, mais aussi parfois à la métaphysique. C’est pourquoi (...) je me propose de discuter en philosophe son ouvrage Contre le relationnisme. Lettre aux anthropologues. Il ne s’agit pas de réactiver la pratique philosophique de la science ultime couronnant les autres disciplines grâce à une réflexivité plus radicale, mais de suivre la démarche de Piette dans ses motivations profondes qui, comme il l’admet lui-même, l’oblige à passer par la philosophie. (shrink)

According to orthodoxy, the most fundamental kind of causation involves one event causing another event. I argue against this event‐causal view. Instead, the most fundamental kind of causation is thing causation, which involves a thing causing a thing to do something. Event causation is reducible to thing causation, but thing causation is not reducible to event causation, because event causation cannot accommodate cases of fine‐grained causation. I defend my view from objections, including C. D. Broad's influential “timing” argument, and I (...) conclude with implications for agent‐causal theories of free will. (shrink)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

We argue that supererogation cannot be understood just in terms of reasons for action. In addition to reasons, a theory of supererogation must include prerogatives, which can make an action permissible without counting in favor of doing it.

Conditionalization is one of the central norms of Bayesian epistemology. But there are a number of competing formulations, and a number of arguments that purport to establish it. In this paper, I explore which formulations of the norm are supported by which arguments. In their standard formulations, each of the arguments I consider here depends on the same assumption, which I call Deterministic Updating. I will investigate whether it is possible to amend these arguments so that they no longer depend (...) on it. As I show, whether this is possible depends on the formulation of the norm under consideration. (shrink)

According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...) an account of how we reduce our logical ignorance by learning logical facts and how we should update our credences in response to such evidence; and an account of when logical ignorance is irrational and when it isn’t. At the end, I explain why the requirement of logical omniscience remains true of ideal agents with no computational, processing, or storage limitations. (shrink)

Human biological memory systems have adapted to use technological artifacts to overcome some of the limitations of these systems. For example, when performing a difficult calculation, we use pen and paper to create and store external number symbols; when remembering our appointments, we use a calendar; when remembering what to buy, we use a shopping list. This chapter looks at the history of memory artifacts, describing the evolution from cave paintings to virtual reality. It first characterizes memory artifacts, memory systems, (...) and the two main functions such artifacts have, which are to aid individual users in completing memory tasks and as a cultural inheritance channel (section 2). It then outlines some of our first symbolic practices such as making cave paintings and figurines, and then moves on to outline several key developments in external representational systems and the artifacts that support these such as written language, numeral systems and counting devices, diagrams and maps, measuring devices, libraries and archives, photographs, analogue and digital computational artifacts, the World Wide Web, virtual reality, and smartphones (section 3). After that, it makes some brief points about the cumulative nature of the cultural evolution of memory artifacts and speculates about the possible future of memory artifacts, arguing that it is very difficult to look beyond an epistemological horizon of more than five years (section 4). (shrink)

The possibility of employing human enhancement interventions to aid in future space missions has been gaining attention lately. These possibilities have included one of the more controversial kinds of enhancements: biomedical moral enhancement. However, the discussion has thus far remained on a rather abstract level. In this paper we further this conversation by looking more closely at what type of interventions with what sort of effects we should expect when we are talking about biomedical moral enhancements. We suggest that a (...) more grounded way to picture moral enhancement, at least in the near term, is to envision a form of cognitive enhancement that also provides some moral benefits by heightening the enhanced person's capability for acting according to their own subjective moral code. While this concept of moral adherence enhancement also has relevance for the moral enhancement discussion more widely, in this paper we apply it specifically in the context of space missions. We argue that there are weighty reasons to consider making biomedical enhancements of the proposed kind a mandatory feature of early-phase long-distance space travel because these missions are high-stakes in nature and take place in an environment where the enhancement could be seen as conferring important advantages while negating many of the traditional arguments weighed against it. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

In this paper I defend what I call the argument from epistemic reasons against the moral error theory. I argue that the moral error theory entails that there are no epistemic reasons for belief and that this is bad news for the moral error theory since, if there are no epistemic reasons for belief, no one knows anything. If no one knows anything, then no one knows that there is thought when they are thinking, and no one knows that they (...) do not know everything. And it could not be the case that we do not know that there is thought when we believe that there is thought and that we do not know that we do not know everything. I address several objections to the claim that the moral error theory entails that there are no epistemic reasons for belief. It might seem that arguing against the error theory on the grounds that it entails that no one knows anything is just providing a Moorean argument against the moral error theory. I show that even if my argument against the error theory is indeed a Moorean one, it avoids Streumer's, McPherson's and Olson's objections to previous Moorean arguments against the error theory and is a more powerful argument against the error theory than Moore's argument against external world skepticism is against external world skepticism. (shrink)

In light of recent breakneck pace in machine learning, questions about whether near-future artificial systems might be conscious and possess moral status are increasingly pressing. This paper argues that as matters stand these debates lack any clear criteria for resolution via the science of consciousness. Instead, insofar as they are settled at all, it is likely to be via shifts in public attitudes brought about by the increasingly close relationships between humans and AI users. Section 1 of the paper I (...) briefly lays out the current state of the science of consciousness and its limitations insofar as these pertain to machine consciousness, and claims that there are no obvious consensus frameworks to inform public opinion on AI consciousness. Section 2 examines the rise of conversational chatbots or Social AI, and argues that in many cases, these elicit strong and sincere attributions of consciousness, mentality, and moral status from users, a trend likely to become more widespread. Section 3 presents an inconsistent triad for theories that attempt to link consciousness, behaviour, and moral status, noting that the trends in Social AI systems will likely make the inconsistency of these three premises more pressing. Finally, Section 4 presents some limited suggestions for how consciousness and AI research communities should respond to the gap between expert opinion and folk judgment. (shrink)

Hume’s chapter “Of Miracles” has been widely discussed, and one issue is that Hume seems to simply beg the question. Hume has a strong but implicit naturalist bias when he argues against the existence of reliable testimony for miracles. In this article, I explain that Hume begs the question, despite what he says about the possibility of miracles occurring. e main point is that he never describes a violation of the laws of nature that could not be explained by scientific (...) theories. (shrink)

Rescorla (Erkenntnis, 2020) has recently pointed out that the standard arguments for Bayesian Conditionalization assume that whenever I become certain of something, it is true. Most people would reject this assumption. In response, Rescorla offers an improved Dutch Book argument for Bayesian Conditionalization that does not make this assumption. My purpose in this paper is two-fold. First, I want to illuminate Rescorla’s new argument by giving a very general Dutch Book argument that applies to many cases of updating beyond those (...) covered by Conditionalization, and then showing how Rescorla’s version follows as a special case of that. Second, I want to show how to generalise R. A. Briggs and Richard Pettigrew’s Accuracy Dominance argument to avoid the assumption that Rescorla has identified (Briggs and Pettigrew in Noûs, 2018). In both cases, these arguments proceed by first establishing a very general reflection principle. (shrink)

Many philosophers nowadays believe Frege was right about belief, but wrong about language: The contents of beliefs need to be individuated more finely than in terms of Russellian propositions, but the contents of utterances do not. I argue that this 'hybrid view' cannot offer no reasonable account of how communication transfers knowledge from one speaker to another and that, to do so, we must insist that understanding depends upon more than just getting the references of terms right.

I discuss a puzzle that arises as an apparent tension between plausible theories of good guessing and intuitive constraints on rational inquiry. Clearly, our best guess at a question should reflect the likelihoods we assign to its possible answers. Your best guess is the answer you judge most likely. Additionally, it seems like a requirement of rational inquiry that our guesses be coherent. Thus, our best guess to a constituent (wh-) questions should cohere with our best guess to a polar (...) (yes/no) question whenever answers to the former entail answers to the latter. I argue that these requirements are in conflict and that a familiar form of contextualism doesn’t resolve the issue. The puzzle stands as a challenge to existing accounts of rational inquiry and question directed attitudes like guessing. (shrink)

All humans have an equal basic moral status. They possess the same fundamental rights, and the comparable interests of each person should count the same in calculations that determine social policy. Neither supposed racial differences, nor skin color, sex, sexual orientation, ethnicity, intelligence, nor any other differences among humans negate their fundamental equal worth and dignity. These platitudes are virtually universally affirmed. A white supremacist racist or an admirer of Adolf Hitler who denies them is rightly regarded as beyond the (...) pale of civilized dialogue. However, a very simple line of argument developed by Peter Singer challenges our understanding of these platitudes and forces us to rethink the basis and nature of the moral equality of all humans. What I call the “Singer Problem” arises if one accepts that the morally significant cognitive capacities that are relevant to the determination of the fundamental moral status of a being vary from individual to individual by degree. The problem is to specify a moral principle determining fundamental moral status that assigns a superior status to humans compared to other animals on the basis of the superior cognitive capacities of humans but also assigns all human persons an equal fundamental moral status regardless of their differing cognitive capacities. More broadly posed, the problem is to specify moral principles that yield intuitively satisfactory implications for the treatment of human individuals and other individual animals given that cognitive capacities differ across species and individuals. A search for a resolution of the Singer problem leads to disappointing results. (shrink)

Anscombe famously said that there are some act types that can only be done intentionally. We defend this claim: some act types are essentially intentional. We argue that Ving intentionally is itself essentially intentional: it is not possible to be non-intentionally Ving intentionally. And we show how this explains why various other act types—such as trying, lying, and thanking—are essentially intentional. Finally, building on Piñeros Glassock (2020) and Beddor & Pavese (2022), we explain how this makes trouble for the thesis (...) that if I am Ving intentionally, I know that I am Ving. (shrink)

Logic has pride of place in mathematics and its 20th century offshoot, computer science. Modern symbolic logic was developed, in part, as a way to provide a formal framework for mathematics: Frege, Peano, Whitehead and Russell, as well as Hilbert developed systems of logic to formalize mathematics. These systems were meant to serve either as themselves foundational, or at least as formal analogs of mathematical reasoning amenable to mathematical study, e.g., in Hilbert’s consistency program. Similar efforts continue, but have been (...) expanded by the development of sophisticated methods to study the properties of such systems using proof and model theory. In parallel with this evolution of logical formalisms as tools for articulating mathematical theories (broadly speaking), much progress has been made in the quest for a mechanization of logical inference and the investigation of its theoretical limits, culminating recently in the development of new foundational frameworks for mathematics with sophisticated computer-assisted proof systems. In addition, logical formalisms developed by logicians in mathematical and philosophical contexts have proved immensely useful in describing theories and systems of interest to computer scientists, and to some degree, vice versa. Three examples of the influence of logic in computer science are automated reasoning, computer verification, and type systems for programming languages. (shrink)

This paper is concerned with neo-Fregean accounts of reference to abstract objects. It develops an objection to the most familiar such accounts, due to Bob Hale and Crispin Wright, based upon what I call the 'proliferation problem': Hale and Wright's account makes reference to abstract objects seem too easy, as is shown by the fact that any equivalence relation seems as good as any other. The paper then develops a response to this objection, and offers an account of what it (...) is for abstracta to exist that is Fregean in spirit but more robust than familiar views. (shrink)

An investigation of Frege’s various contributions to the study of language, focusing on three of his most famous doctrines: that concepts are unsaturated, that sentences refer to truth-values, and that sense must be distinguished from reference.

Accuracy arguments for the core tenets of Bayesian epistemology differ mainly in the conditions they place on the legitimate ways of measuring the inaccuracy of our credences. The best existing arguments rely on three conditions: Continuity, Additivity, and Strict Propriety. In this paper, I show how to strengthen the arguments based on these conditions by showing that the central mathematical theorem on which each depends goes through without assuming Additivity.

Within contemporary science, it is common practice to compare data points to the average, i.e., to the statistical mean. Because this practice is so familiar, it might at first appear not to be the sort of thing that requires explanation. But recent research in cognitive science and in the history of science gives us reason to adopt the opposite perspective. Cognitive science research on the ways people ordinarily make sense of the world suggests that, instead of using a purely statistical (...) notion of the average, people tend to use a value-laden notion of the normal. Similarly, historical research on the scientific practices used in other time periods indicates that, prior to the nineteenth century, scientists tended to make use of a notion of the normal that was overtly value-laden. These findings give us reason to rethink certain familiar facts about scientific practice. In particular, they suggest that the fact that scientists so often make use of the statistical average should be seen as a highly surprising fact, the sort of thing that calls out for explanation. (shrink)

The Intergovernmental Panel on Climate Change has developed a novel framework for assessing and communicating uncertainty in the findings published in their periodic assessment reports. But how should these uncertainty assessments inform decisions? We take a formal decision-making perspective to investigate how scientific input formulated in the IPCC’s novel framework might inform decisions in a principled way through a normative decision model.

The proof theory of many-valued systems has not been investigated to an extent comparable to the work done on axiomatizatbility of many-valued logics. Proof theory requires appropriate formalisms, such as sequent calculus, natural deduction, and tableaux for classical (and intuitionistic) logic. One particular method for systematically obtaining calculi for all finite-valued logics was invented independently by several researchers, with slight variations in design and presentation. The main aim of this report is to develop the proof theory of finite-valued first order (...) logics in a general way, and to present some of the more important results in this area. In Systems covered are the resolution calculus, sequent calculus, tableaux, and natural deduction. This report is actually a template, from which all results can be specialized to particular logics. (shrink)

This paper discusses Frege's account of definition by induction in Grundgesetze and the two key theorems Frege proves using it.

I argue that directing is a more fundamental kind of speech act than asserting, in the sense that the conditions under which an act counts as an assertion are sufficient for that act to count as a directive. I show how this follows from a particular way of conceiving intentionalism about speech acts, on which acts of assertion are attempts at changing a common body of information – or conversational common ground – maintained by conversational participants’ practical attitude of acceptance. (...) I suggest that the function of assertion is not to share information, but to signal that we can be relied on to act as though some information is true, and to foster that same reliability in others. (shrink)

Longtermism is the view that the most urgent global priorities, and those to which we should devote the largest portion of our resources, are those that focus on (i) ensuring a long future for humanity, and perhaps sentient or intelligent life more generally, and (ii) improving the quality of the lives that inhabit that long future. While it is by no means the only one, the argument most commonly given for this conclusion is that these interventions have greater expected goodness (...) per unit of resource devoted to them than each of the other available interventions, including those that focus on the health and well-being of the current population. In this paper, I argue that, even if we grant the consequentialist ethics upon which this argument depends, and even if we grant one of the axiologies that are typically paired with that ethics to give the argument, we are not morally required to choose an option that maximises expected utility; indeed, we might not even be permitted to do so. Instead, I will argue, if the argument's consequentialism is correct, we should choose using a decision theory that is sensitive to risk, and allows us to give greater weight to worse-case outcomes than expected utility theory does. And, I will show, such decision theories do not always recommend longtermist interventions. Indeed, sometimes, they recommend exactly the opposite: sometimes, they recommend hastening human extinction. Many, though not all, will take this as a reductio of the consequentialism or the axiology of the argument. I remain agnostic on the conclusion we should draw. (shrink)

The desirability of what actually occurs is often influenced by what could have been. Preferences based on such value dependencies between actual and counterfactual outcomes generate a class of problems for orthodox decision theory, the best-known perhaps being the so-called Allais Paradox. In this paper we solve these problems by extending Richard Jeffrey's decision theory to counterfactual prospects, using a multidimensional possible-world semantics for conditionals, and showing that preferences that are sensitive to counterfactual considerations can still be desirability maximising. (...) We end the paper by investigating the conditions necessary and sufficient for a desirability function to be an expected utility. It turns out that the additional conditions imply highly implausible epistemic principles. (shrink)

As is well-known, the formal system in which Frege works in his Grundgesetze der Arithmetik is formally inconsistent, Russell’s Paradox being derivable in it.This system is, except for minor differ...

This paper examines some of the interactions between holism, contextualism, and externalism, and will argue that an externalist metasemantics that grounds itself in certain plausible assumptions about self- knowledge will also be a contextualist metasemantics, and that such a contextualist metasemantics in turn resolves one of the best known problems externalist theories purportedly have with self-knowledge, namely the problem of how the possibility of various sorts of ‘switching’ cases can appear to undermine the ‘transparency’ of our thoughts (in particular, our (...) ability to tell, with respect to any two occurrent thoughts, whether they exercise the same or different concepts). (shrink)

We often learn the opinions of others without hearing the evidence on which they're based. The orthodox Bayesian response is to treat the reported opinion as evidence itself and update on it by conditionalizing. But sometimes this isn't feasible. In these situations, a simpler way of combining one's existing opinion with opinions reported by others would be useful, especially if it yields the same results as conditionalization. We will show that one method---upco, also known as multiplicative pooling---is specially suited to (...) this role when the opinions you wish to pool concern hypotheses about chances. The result has interesting consequences: it addresses the problem of disagreement between experts; and it sheds light on the social argument for the uniqueness thesis. (shrink)

Attitude verbs like ‘believe’ and ‘want’ exhibit neg-raising: an ascription of the form a doesn’t believe that p tends to convey that a disbelieves—i.e., believes the negation of—p. In ‘Belief is Weak’, Hawthore et al. observe that neg-raising does not occur with verbs like ‘know’ or ‘need’. According to them, an ascription of the form a believes that p is true just in case a is in a belief state that makes p more likely than not, and so—excepting cases of (...) complete indifference—a will either believe p or disbelieve p. I expand and revise this explanation: so-called ‘weak’ attitude verbs are used in ascriptions of an opinion about some subject matter S—a kind of selection from among the elements of S—and these ascriptions are themselves responsive to conversational topics that presuppose that the subject of the ascription has an opinion about S. ‘Strong’ attitude verbs denote more direct relationships between subject and world. (shrink)

How much does rationality constrain what we should believe on the basis of our evidence? According to this book, not very much. For most people and most bodies of evidence, there is a wide range of beliefs that rationality permits them to have in response to that evidence. The argument, which takes inspiration from William James' ideas in 'The Will to Believe', proceeds from two premises. The first is a theory about the basis of epistemic rationality. It's called epistemic utility (...) theory, and it says that what it is epistemically rational for you to believe is what it would be rational for you to choose if you were given the chance to pick your beliefs and, when picking them, you were to care only about their epistemic value. So, to say which beliefs are permitted, we must say how to measure epistemic value, and which decision rule to use when picking your beliefs. The second premise is a claim about attitudes to epistemic risk, and it says that rationality permits many different such attitudes. These attitudes can show up in epistemic utility theory in two ways: in the way you measure epistemic value; and in the decision rule you use to pick beliefs. This book explores the latter. The result is permissivism about epistemic rationality: different attitudes to epistemic risk lead to different choices of prior beliefs; given most bodies of evidence, different priors lead to different posteriors; and even once we fix your attitudes to epistemic risk, if they are at all risk-inclined, there is a range of different priors and therefore different posteriors they permit. (shrink)

Effective altruism sounds so innocuous—who could possibly be opposed to doing good more effectively? Yet it has inspired significant backlash in recent years. This paper addresses some common misconceptions and argues that the core “beneficentric” ideas of effective altruism are both excellent and widely neglected. Reasonable people may disagree on details of implementation, but all should share the basic goals or values underlying effective altruism.

In his 2004 article “Hannah Arendt and Jean Baudrillard: Pedagogy in the Consumer Society,” Trevor Norris bemoans the degree to which contemporary education’s focus can increasingly be described as primarily nurturing “consumers in training.” He goes on to add that the consequences of such “mindless” consumerism is that it “erodes democratic life, reduces education to the reproduction of private accumulation, prevents social resistance from expressing itself as anything other than political apathy, and transforms all human relations into commercial transactions of (...) calculated exchange.” This, then, is the challenge of the age: to articulate the sort of education that might prompt our youngsters to imagine a genuine alternative to this consumer madness—a challenge that the authors of this paper attempt to tackle. (shrink)

A framework is developed for understanding what is “taken for granted” both in philosophy and in life generally, which may serve to orient philosophical inquiry and make it more effective. The framework takes in language and its development, as well as mathematics, logic, and the empirical sphere with particular reference to the exigencies of life. It is evaluated through consideration of seven philosophical issues concerned with such topics as solipsism, sense data as the route to knowledge, the possible reduction of (...) geometry to logic, and the existence and status of human rights. Various dichotomies and the notion of continuity are evidently highly strategic. (shrink)